9.4 KB · ⇊ 3 parts · ⤓ Micron 9.4 KB · ⤓ HTML 22.9 KB

top

Lmwbw'mwcaInstitut national de recherche en informatique et en automatique (mwcqInria,cite-ref-1[1] mwdgIstituto nazionale per la ricerca nell'informatica e nell'automazione) è un istituto nazionale mwdwfrancese per la ricerca, focalizzato sull'mweainformatica, la mweqteoria dell'automazione e la mwegmatematica applicata. Creato nel mwew1967 a mwfaRocquencourt, vicino a mwfqParigi, lmwfg'mwfwINRIA è un polo di ricerca scientifica e tecnologica, sotto la supervisione del ministro della ricerca e del ministero dell'economia, finanza e industria.

È membro dell'mwgqIstituto europeo per le norme di telecomunicazione (ETSI).cite-ref-2[2]

• Ricerca nel campo dell'informatica

• Stato amministrativo

• Note

• Collegamenti esterni

L'mwigINRIA compie ricerca sia nell'informatica teorica che applicata. In questo processo, ha realizzato numerosi programmi largamente usati. Infatti, ha progettato Caml, un linguaggio della famiglia mwjaML, e sviluppato sia le implementazioni mwjqCaml Light che mwjgOCaml. Ha anche sviluppato Bigloo, una implementazione mwkaScheme, e mwkqScilab, un sistema di calcolo numerico molto simile a mwkgMATLAB.

Alcuni programmi sviluppati all'Inria ampiamente utilizzati comprendono

• Bigloo, un'implementazione di Scheme.

• CADP, un tool box per la verifica di sistemi concorrenti asincroni

• Caml, un linguaggio della famiglia mwnqML.

• mwnwChorus, sistema operativo distribuito basato su microkernel

• CompCert, compilatore C verificato per PowerPC, ARM e x86_32

• Contrailcite-ref-isgtw-3-0[3]

• Coq, un proof assistant

• Eigen (libreria C++)

• mwrqEsterel, un mwrglinguaggio di programmazione per automi a stati finiti

• Grafite, una piattaforma di ricerca per la computer grafica, la modellazione 3D e la geometria numerica

• Gudhi — Una libreria mwsqC++ con interfaccia Python per topologia computazionale e analisi dei dati topologicicite-ref-4[4]

• Le Lisp, un'implementazione Lisp portatile

• medInria, un software di elaborazione delle immagini mediche, comunemente utilizzato per le immagini MRI.cite-ref-5[5]

• mwwqGNU MPFR, una libreria a di aritmetica a virgola mobile di precisione arbitraria

• OpenViBE, una mwxapiattaforma software dedicata alla progettazione, test e utilizzo di mwxqinterfaccia cervello-computer.

• Pharo, uno Smalltalk open source derivato da mwyaSqueak mwyq.

• mwywscikit-learn, un pacchetto software per il mwzamachine learning

• mwzgScilab, un pacchetto software di calcolo numerico

• SmartEiffel, un compilatore Eiffel gratuito

• SOFA, un framework open source per la simulazione multifisica con un'enfasi sulla simulazione medica.

• mwbaViSP, una libreria di piattaforma di servoing visuale open source

• XtreemFScite-ref-isgtw-3-1[3]

• XtreemOS

Inria guida inoltre la ricerca francese sull'intelligenza artificiale, classificandosi nel 2019, sulla base delle pubblicazioni accettate alla prestigiosa Conference on Neural Information Processing Systems,cite-ref-6[6] al 12º posto a livello mondiale

L'mwfqINRIA ha 6 unità di ricerca:

• mwgaINRIA Futurs (mwgqLilla, mwggSaclay, mwgwBordeaux)

• mwhqINRIA Lorraine (LORIA - in associazione con il mwhgCNRS e università locali)

• mwiaINRIA mwiqRennes (IRISA - in associazione con il mwigCNRS e università locali)

• mwjaINRIA mwjqRhône-Alpes (vicino a mwjgGrenoble)

• mwkaINRIA mwkqRocquencourt (presso mwkgParigi)

• mwlaINRIA mwlqSophia-Antipolis (vicino a mwlgNizza)

Inoltre contribuisce alla ricerca scientifica fuori da questi centri.

cite-note-11. ↑ mwngmwnwSito ufficiale.

cite-note-22. ↑ mwow(mwpamwpqENmwpg) mwpwList of All ETSI Full Members - ETSI Associate Members - Observers - Counsellors

cite-note-isgtw-33. ↑ mwrqLeslie Versweyveld, mwrgmwrwIl progetto Contrail è orgoglioso di presentare il suo primo set completo di strumenti interoperabili per la federazione del cloud, su mwsaInternational Science Grid This Week (ISGTW), 30 ottobre 2012. mwsqURL consultato il 17 ottobre 2013 mwsg(archiviato dall'mwswurl originale il 17 ottobre 2013).

cite-note-44. ↑ mwtwmwuamwuqGudhi, INRIA, su mwuggudhi.gforge.inria.fr. mwuwURL consultato l'8 aprile 2022 mwva(archiviato dall'mwvqurl originale il 22 settembre 2021).

cite-note-55. ↑ mwwqmwwgmwwwmedInria, su mwxamed.inria.fr.

cite-note-66. ↑ mwyamwyqmwygNeurIPS 2019 Stats, su mwywmedium.com.

• citerefsito-ufficiale(FR) Sito ufficiale, su inria.fr. URL consultato il 6 settembre 2024.